logic laws